შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ
1
Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

წელი:
2003
ენა:
english
ფაილი:
PDF, 3.49 MB
0 / 0
english, 2003
3
Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

წელი:
2003
ენა:
english
ფაილი:
PDF, 4.29 MB
0 / 0
english, 2003
4
Mechanical Theorem Proving in Geometries: Basic Principles

Mechanical Theorem Proving in Geometries: Basic Principles

წელი:
1994
ენა:
english
ფაილი:
PDF, 4.87 MB
0 / 0
english, 1994
7
Algorithms and Computation: 5th International Symposium, ISAAC '94 Beijing, P. R. China, August 25–27, 1994 Proceedings

Algorithms and Computation: 5th International Symposium, ISAAC '94 Beijing, P. R. China, August 25–27, 1994 Proceedings

წელი:
1994
ენა:
english
ფაილი:
DJVU, 6.07 MB
0 / 0
english, 1994